Functional programming - PDFSEARCH.IO - Document Search Engine

Functional programming
Results: 3706

#	Item
691	A Logic Programming Approach to the Verification ∗ of Functional-Logic Programs Jose´ Miguel Cleva Add to Reading List Source URL: gpd.sip.ucm.es Language: English - Date: 2007-02-08 07:49:18
692	WFLPA Generic Semantics for Constraint Functional Logic Programming Emilio Jes´ us Gallego Ariasa,1 ,2 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2016-01-18 05:22:03
693	Narrowing Failure in Functional Logic Programming Francisco Javier L´ opez-Fraguas and Jaime S´ anchez-Hern´andez Dep. Sistemas Inform´ Add to Reading List Source URL: gpd.sip.ucm.es Language: English - Date: 2007-02-09 11:25:40
694	SHard: a Scheme to Hardware Compiler Xavier Saint-Mleux Marc Feeley Jean-Pierre David Add to Reading List Source URL: schemeworkshop.org Language: English - Date: 2011-08-12 16:48:38 Subroutines Lambda calculus Control flow Functional programming Data types Closure Inline expansion Scheme Lambda lifting Software engineering Computing Computer programming
695	Graphics System (GS) Copyright © Ericsson AB. All Rights Reserved. Graphics System (GS) 1.6 June 23, 2015 Copyright © Ericsson AB. All Rights Reserved. Add to Reading List Source URL: www.erlang.org Language: English Functional languages Object-oriented programming Object Erlang Software engineering Computing Computer programming
696	Hadoop + Clojure Hadoop World NYC Friday, October 2, 2009 Stuart Sierra, AltLaw.org JVM Languages Add to Reading List Source URL: stuartsierra.com Language: English - Date: 2009-10-02 17:49:53 Cross-platform software Functional languages Lisp programming language Clojure Lisp Java Main function Constructor Symbol Computing Software engineering Computer programming
697	BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-29 09:58:56 Continuations Control flow Subroutines Delimited continuation Functional languages Call-with-current-continuation Standard ML ConTeXt Tree traversal Software engineering Computing Computer programming
698	Nav and Control Software RevComments/corrections to Alex Brown The Nav and Control software provides several functions for the Leaf robots: communications with the microcontroller; receiving data Add to Reading List Source URL: www.leafproject.org Language: English - Date: 2010-01-13 10:51:52 Functional languages Lisp programming language Embedded systems Lisp Robotics Forth Microcontroller Batch file Logo Computing Software engineering Programming language theory
699	BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-08 09:02:48 Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing
700	Scope Chapter Ten Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:43:41 Procedural programming languages Functional languages Cross-platform software Subroutines Scope Data types Namespace Variable C Software engineering Computing Programming language theory

UPDATE